1. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
Classification :
QA
10
.
A45
1990
2. Cambridge Summer School in Mathematical Logic; ]papers[
Author: Canbridge Summer School in Mathematical Logic
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
337
3. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Author: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory-- Congresses
Classification :
QA
3
.
L28
no
.
1292
4. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
5. Conference in Mathematical Logic, London 70
Author: Conference in Mathematical Logic, Bedford College
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
6. Deontic logic, agency and normative systems
Author: DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Mark A. Brown and José Carmo (ed.). Publ. in collab. with the British Computer Society
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Deontische Logik,Informatik,Normative Logik
7. Design systems for VLSI circuits: logic synthesis and silicon compilation
Author: NATO Advanced Study Institute on Logic Synthesis and Silicon Compilation for VLSI Design )6891: L'Aquila, Italy(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Integrated circuits- Very large scale integration- Congresses,، Silicon compilers- Congresses
Classification :
TK
7874
.
N338
1987
8. Field-programmable logic and applications: 5th international workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995 : proceedings
Author: International Workshop on Field-Programmable Logic and Applications )5th :5991 :Oxford, England(, Will Moore, Wayne Luk, )eds.(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Field programmable gate arrays- Congresses,، Programmable array logic- Congresses
Classification :
TK
7895
.
G36
I48
1995
9. Field-programmable logic: smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23-25, 1966 : proceedings
Author: International Workshop on Field-Programmable Logic and Applications )6th :6991 :Darmstadt, Germany(, Reiner W. Hartenstein, Manfred Glesner )eds.(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Programmable array logic- Congresses
Classification :
TK
7868
.
L6
I56
1996
10. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
F6858
1986
11. Foundations of mathematics
Author: Abstracts Resumees; mathematical logic and
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Communication in Science-- Abstracts
Classification :
Q
223
.
A2
12. Hardware/ Accessories catalog
Author: Prepared by logic products Group
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Microcomputers - catalogs
Classification :
QA
76
.
5
.
H3
1975
13. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
Author: International Summer Institute and Logic Colloquium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
499
14. Langage verite et logique
Author: / Alfred Jules Ayer,Titre original; Language, truth and logic,Ayer
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Experience.,Knowledge, Theory of.,Language and languages, --Philosophy.
Classification :
B53
.
A9L36
1956
15. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
Author: Logic Colloquium, Wroclaw, Poland
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
Classification :
QA
9
.
A1
.
L63
1977
16. Logic Colloquium '85 :
Author: edited by the Paris Logic Group
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
L63
1985
17. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
Author: Logic Colloquium )8891: Padova, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
Classification :
QA
9
.
A1
.
L63
1988
18. Logic Colloquium'85 : proceedings of the Colloquium held in Orsay, France, July 1985
Author: edited by the Paris Logic Group
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L63
1985
19. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Author: Logic Symposia, )9791, Hakone-machi, Japan(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
891
20. Logic colloquium' 78. Proceedings of the colloquium held in Mons, Aug. 1978
Author: Logic Colloqium Mons, 8791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathemaical-- Congresses
Classification :
QA
9
.
A1
.
L63
1978
